au.\*:("Association for Computing Machinery (ACM), Special Interest Group on Programming Languages (SIGPLAN)")
Results 1 to 25 of 380
Selection :
Proceedings of the 2003 ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2003), New Orleans, Louisiana, USA, January 18th, 2003ACM SIGPLAN notices. 2003, Vol 38, Num 3, issn 1523-2867, 141 p.Conference Proceedings
Proceedings of the 2004 ACM SIGPLAN Conference on Programming Language Design and Implementatation (PLDI'04), Washington, DC, USA, June 9-11, 2004ACM SIGPLAN notices. 2004, Vol 39, Num 6, issn 1523-2867, 309 p.Conference Proceedings
Proceedings of the 2010 ACM Symposium on Principles and Practice of Parallel ProgrammingACM SIGPLAN notices. 2010, Vol 45, Num 5, issn 1523-2867, 371 p.Conference Proceedings
Proceedings of the 2010 ACM SIGPLAN International Conference on Functional Programming (ICFP'10)ACM SIGPLAN notices. 2010, Vol 45, Num 9, issn 1523-2867, 394 p.Conference Proceedings
Proceedings of the 2003 ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'03), San Diego, California, USA, June 11-13, 2003ACM SIGPLAN notices. 2003, Vol 38, Num 7, issn 1523-2867, 302 p.Conference Proceedings
Experience Report: Haskell as a Reagent: Results and Observations on the Use of Haskell in a Python ProjectPOP, Iustin.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 369-374, issn 1523-2867, 6 p.Conference Paper
Higher-order Representation of Substructural LogicsCRARY, Karl.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 131-141, issn 1523-2867, 11 p.Conference Paper
Garbage collection safety for region-based memory managementELSMAN, Martin.ACM SIGPLAN notices. 2003, Vol 38, Num 3, pp 123-134, issn 1523-2867, 12 p.Conference Paper
Type-safe multithreading in cycloneGROSSMAN, Dan.ACM SIGPLAN notices. 2003, Vol 38, Num 3, pp 13-25, issn 1523-2867, 13 p.Conference Paper
Program Verification Through Characteristic FormulaeCHARGUERAUD, Arthur.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 321-332, issn 1523-2867, 12 p.Conference Paper
Rethinking SupercompilationMITCHELL, Neil.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 309-320, issn 1523-2867, 12 p.Conference Paper
Scalable lock-free dynamic memory allocationMICHAEL, Maged M.ACM SIGPLAN notices. 2004, Vol 39, Num 6, pp 35-46, issn 1523-2867, 12 p.Conference Paper
A calculus for probabilistic languagesPARK, Sunawoo.ACM SIGPLAN notices. 2003, Vol 38, Num 3, pp 38-49, issn 1523-2867, 12 p.Conference Paper
On efficient program synthesis from statechartsWASOWSKI, Andrzei.ACM SIGPLAN notices. 2003, Vol 38, Num 7, pp 163-170, issn 1523-2867, 8 p.Conference Paper
Time regions and effects for resource usage analysisKOBAYASHI, Naoki.ACM SIGPLAN notices. 2003, Vol 38, Num 3, pp 50-61, issn 1523-2867, 12 p.Conference Paper
New Abstractions for Effective Performance Analysis of STM programsCHAKRABARTI, Dhruva R.ACM SIGPLAN notices. 2010, Vol 45, Num 5, pp 333-334, issn 1523-2867, 2 p.Conference Paper
Proceedings of the 2002 ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'02)ACM SIGPLAN notices. 2002, Vol 37, Num 11, issn 1523-2867, 396 p.Conference Proceedings
TeachScheme!—A CheckpointFELLEISEN, Matthias.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 129-130, issn 1523-2867, 2 p.Conference Paper
Total Parser CombinatorsANDERS DANIELSSON, Nils.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 285-296, issn 1523-2867, 12 p.Conference Paper
Social processes and proofs of theorems and programs, revisitedAPPEL, Andrew W.ACM SIGPLAN notices. 2004, Vol 39, Num 6, issn 1523-2867, p. 170Conference Paper
Fortifying MacrosCULPEPPER, Ryan; FELLEISEN, Matthias.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 235-246, issn 1523-2867, 12 p.Conference Paper
Polyvariant Flow Analysis with Higher-ranked Polymorphic Types and Higher-order Effect OperatorsHOLDERMANS, Stefan; HAGE, Jurriaan.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 63-74, issn 1523-2867, 12 p.Conference Paper
Security-Typed Programming within Dependently Typed ProgrammingMORGENSTERN, Jamie; LICATA, Daniel R.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 169-180, issn 1523-2867, 12 p.Conference Paper
The Reduceron ReconfiguredNAYLOR, Matthew; RUNCIMAN, Colin.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 75-86, issn 1523-2867, 12 p.Conference Paper
Balancing register allocation across threads for a multithreaded network processorXIAOTONG ZHUANG; PANDE, Santosh.ACM SIGPLAN notices. 2004, Vol 39, Num 6, pp 289-300, issn 1523-2867, 12 p.Conference Paper